#include<bits/stdc++.h>
using namespace std;
int main()
{
	double n,sum=0;
	cin>>n;
	if(n<=2.5)
		sum=7;
	else
		sum=7+(n-2.5)*1.8;
	printf("%.2f",sum);
	return 0;
}
